'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON JANUARY 22, 1983, AT 11:16 PM

;Loading DEFSTRUCT 280
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 331. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 363. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 402. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 440. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 489. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 544. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 593. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 647. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 685. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 711. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 742. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 782. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 818. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 883. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 951. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1001. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1058. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1118. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1153. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1288. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1388. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1399. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1400. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1404. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1414. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 1697. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 1828. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2028. (LAP CREATE-LT-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 2044. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2087. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2114. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2174. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2204. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 2407. (LAP LINTYPE* SUBR)) 
	(COMMENT **FASL** 2569. (LAP Q-KERNEL SUBR)) 
	(COMMENT **FASL** 2584. (LAP Q-KERNEL-LT-TYPE SUBR)) 
	(COMMENT **FASL** 2586. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2797. (LAP LT-TYPE* SUBR)) 
(COMMENT ****  (CURRENTPOS NIL) 
		Binding number variable to NIL may be a bug in function DISPLAY)
	(COMMENT **FASL** 2983. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 3006. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 3023. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3050. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3183. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3376. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3408. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4161. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4192. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4230. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4338. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4375. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4402. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4430. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4494. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 4503. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 4755. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5025. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 5076. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5106. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5122. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5152. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5181. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5234. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5285. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5310. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 5401. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 5473. (LAP CREATE-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 5501. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 5544. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 5577. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 5582. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 5879. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 5950. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 6453. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 6752. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 8738. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 8780. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 8977. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 9027. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 9062. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 9106. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 9243. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 9385. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 9418. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 9463. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 9545. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 9561. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 9598. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 9606. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 9617. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 9858. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 9923. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 9928. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 9930. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 10195. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 10217. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 10307. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 10355. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 10375. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 10413. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 10419. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 10438. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 10526. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 10985. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 11100. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 11171. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 11220. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 11261. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 11374. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 11422. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11463. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 11501. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 11538. (LAP KEYNUMBER SUBR)) 
(COMMENT ****  (EXPRS-LENGTH NIL) 
		Binding number variable to NIL may be a bug in function POSPRINC)
	(COMMENT **FASL** 11555. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 11623. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 11646. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 11946. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 12013. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 12174. (LAP INADVERTENT-TRANSFER-CHECK SUBR)) 
	(COMMENT **FASL** 12263. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 12288. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 12699. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 12938. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 13060. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 13234. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 13300. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 13469. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 13544. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 13839. (LAP DISPLAY-HELP-TABLE-ENTRY LSUBR)) 
	(COMMENT **FASL** 13955. (LAP DISPLAY-TRANSFER-COMMANDS SUBR)) 
	(COMMENT **FASL** 14053. (LAP XPDN-SHORT-HELP SUBR)) 
	(COMMENT **FASL** 14080. (LAP DISPLAY-XPDN-COMMANDS SUBR)) 
	(COMMENT **FASL** 14099. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 14273. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 14414. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 14433. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 14446. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 14517. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  14535. WORDS)